Automated Model Merge by Design Space Exploration

Specification and Design of a MP3 Audio Decoder

In an effort to understand, experience and prove the benefits of automated SoC design, this report describes the specification modeling, design space exploration and implementation of a real world example using SpecC based System on Chip Environment (SCE). The report covers a complete description of developing the specification model of a MPEG-1 Layer 3 (MP3) audio decoder in SpecC language and...

A Methodology and Tool for Automated Transformational High-Level Design Space Exploration

design loop, which covers a large number of design steps (called synthesis loop in figure 1). Therefore, a single cycle of the design loop is quite expensive to perform. Our approach to face this problem is to cut the design loop on a high level of abstraction by integrating a high-level estimation step. This results in a design loop which is tight and settled on high level of abstraction (call...

A Power Aware Cache and Register File Design Space Exploration

Higher-order Modeling and Automated Design-space Exploration

An important part of the design of complex systems is the evaluation of the large number of potential alternative designs. Due to the number and complexity of design parameters, this design space is potentially huge and very complex. Automating part of the design exploration task can be an invaluable help in finding the optimal or near optimal settings of design parameters. The choice of the mo...

Semi-Automated Design Space Exploration for Formal Modelling

Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. Here, we propose Design Space Exploration, an approach that aims to assist a designer by automatically providin...